Nuprl Definition : ma-interface-kinds
11,40
postcript
pdf
ma-interface-kinds(
I
) == concat(map(
i
.(
I
(
i
).2).1;
I
.1))
latex
clarification:
ma-interface-kinds(
I
) == concat(map(
i
.(
I
IdDeq(
i
).2).1;
I
.1))
latex
Definitions
t
.1
,
IdDeq
,
f
(
x
)
,
t
.2
,
x
.
A
(
x
)
,
map(
f
;
as
)
,
concat(
ll
)
FDL editor aliases
ma-interface-kinds
origin
i.(I(i).2).1;I.1))
i.(IIdDeq(i).2).1;I.1)) i.(I(i).2).1;I.1))
i.(IIdDeq(i).2).1;I.1)) x.A(x)